Coverage of any person under the system ends when the person ceases to be a state employee.