Discharged.   Released, freed, or dismissed.