Nope, Sequoia and Tahoe both remain registered: https://www.opengroup.org/openbrand/register/apple.htm