to finish, exhaust, end, bring to an end, terminate