To export information on all leads, click Export on the top right.
Once the export is complete, you will receive an email to download the .csv file.
Note
Keep in mind that by clicking Export you download all lead records regardless of the filters applied to the grid. To export only the list of filtered records, use the Export Grid functionality.