Definition:Complete Type