Smart Lists are dynamic - that is they run at that moment and pull in only leads who currently match the criteria. If you change a lead's data, they could then no longer match a smart list.
So yes, fix the lead record directly in Marketo. You do not need to change the Smart List.