There should be an option to export leads in csv format