You have created a Smart List and you are looking to filter off of the Lead ID.
Marketo does not have this functionality to filter off of Lead IDs. This is also true of Salesforce IDs.
You can upvote an Idea on the Marketo Community - the Marketo Product Team monitors that forum for possible future updates.
Is this article helpful ?