Yes, you can export all filtered or enriched leads as a CSV file. Very large exports may take longer to generate.
To download / export leads :
Navigate to the Activity tab -> select the leads List -> Click on review button -> navigate to top right right corner on the Lead list page -> click on download icon.
Use the Export feature to download them as CSV files or connect to CRM.