Unless that platform API's that information back to Marketo, you will need to set up some custom fields to capture this.
For example, an API service could be set up to update/append records in your Marketo with a true or false field and a date field to let you know that lead looged in to your platform equals true and on by date.
We do something similar with our trial download software where we integrated it into Marketo.