You can easily select any lead for export by clicking the checkbox on the left before each row displaying the lead.

If you need to select hundreds of leads best way to do so is to use Select dropdown from the menu below.

Using select dropdown you can select up to 10000 records at once.