Korrekt, aber auch eine befestigte Fläche, wo Biergärten oder Außengastronomie installiert sein kann.

Warum sollte sich das beissen? building:part=terrace wird wie ein ganz normaler Anbau gerendert, oder in 3D
amenity=terrace ist vielleicht eine Lösung für nicht private, also öffentliche Terrassenbauwerke, wobei die Nutzung doch unterschiedlich sein kann.
Schwierigkeiten sehe ich aber im Rendering der Standardkarte , wenn diese Terrasse auf dem Dach eines building aufgebaut ist. Das geht bislang nur über 3D-Tagging.

P.S. Ich hab jetzt mal diese Terrasse als amenity=terrace getaggt. Ich sag ja, Nutzung ist unterschiedlich, hier ein leisure=outdoor_seating eines der bekanntesten Cafés in Köln.

P.P.S Mist, amenity=terrace beisst sich natürlich mit amenity=biergarten (nicht mit leisure). D.h. eine Terrasse auf dem gleichen Polygon kann niemals ein Biergarten sein.