A contract ending is not quitting. It simply means both parties no longer have any obligation to each other and the duties of both have been fulfilled or resolved.
Technically, he did quit. He "departed" and/or "discontinued" from the company. Doesn't matter how. In the end, he left.
On the other hand, most people wouldn't consider that "quitting."
I'm just being a semantic asshole