1 of 1 people found this helpful
CRM contacts and leads becomes all leads in Marketo. So yes, the All Leads smart list gives you the count. The Database dashboard as well.
In order to get the separate count, you can create smart lists with the field SFDC Type = lead, SFDC Type = contact and SFDC Type = empty (the ones that are in Marketo only). If you are working with MSD Dynamics, there is a similar field, Microsoft Type, if I remember well.
You can also create a lead performance report and group by this same field.