2 of 2 people found this helpful
If leads are not sync'ed at all with SFDC, just run a smart list with the filter SFDC Type [person] is empty. This will give you all the leads that are in Marketo and not in SFDC.
Please also note that Marketo leads are not automatically pushed to SFDC. There are only sync'ed when you run some SFDC related flow steps.