To export leads from the table in the leads page:
perform a search using the filters to obtain the data you would like
Then go to the "show" function below the filter and select "all"
Then all your export data will be ready.
Finally click on the "export" button on the top right
if the button does not appear then your data is not correctly sorted and you should perform the steps from the beginning.