To export lead details in a .csv file:
Navigate to Sales > Leads in the main menu.
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.
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.