Add a "SFDC Created Date = Is Not Empty" filter along with "SFDC Is Deleted = False" to get only your SFDC leads. Then for activity, it depends on if you want SFDC activity, or general Marketo activity.
If it's SFDC, look in the SFDC inactivity filters, if it's Marketo, look at those inactivity filters.