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