Workflow triggers are sequential; at any point, the smart list will only contain contacts who match the criteria of the last triggered workflow.