The formal legal dissolution of a marriage by the court.