If the lead was synched for the 1st time you can used the "was synched filter".
If you want to check for new leads coming from SFDC into Marketo you can used the lead was created filter with the source contstraint set to salesforce.
It's harder to identify leads that were already in sync.. maybe have a look at the result of some of yuor campaigns that involve SFDC flow actions.