"Over" is good. NKC released After the Ball is Over on Side 2 Track 2 of the LP Those Lazy-Hazy-Crazy Days of Summer on Capitol Records in 1963. Wikipedia lists After the Ball on its track listing of that album, but I tend to believe Discogs. https://www.discogs.com/release/1905034-Nat-King-Cole-Those-Lazy-Hazy-Crazy-Days-Of-SummerJust jumping back in here to note that the correct title of the song I posted above seems to be "After The Ball." Google results are pretty much split evenly between "After The Ball" and "After The Ball Is Over," but the more authoritative results lean toward the former being the real title. So, unless someone can prove differently, follow-up songs with "Over" in the title will be invalid.