Complete Trace Models of State and Control