To export all of your leads with contact information go to your contacts page and click the export button.

Then click "download" to download your leads

To export address leads first click "Address Only" in the contacts page

Then click "export"

Once you have added the conditions to the filter and the leads are filtered you can export only those leads by clicking the export button.

To learn more about setting up filters see this article