Price realized
Also: prices realized, auction result
The amount an auction lot actually sold for, as published by the auction house after the sale, as opposed to the estimate published before it.
Invaluable publishes a price realized next to the auctioneer's low and high estimate, which is what makes estimate-versus-result analysis possible. Whether a given house's figure includes buyer's premium varies and should be checked rather than assumed.