Use sequences properties and activity as Contact filters in Lists and Workflows

If a contact is enrolled in a sequence, once it ends, I would like to have a trigger that will automatically switch the contacts preperties so I know who has already been enrolled and I don’t have hundereds of tasks a day popping up.