@Schienennagelhammerträger: Danke für die Aufklärungsarbeit 
Ich habe die leise Befürchtung, daß es auch in Dockhäfen Docks gibt… 
Im Wiki sind Bilder von einem Trockendock und einem Schwimmdock. Daran habe ich mich orientiert. Also Bilder die man von einer Werft kennt…
Jetzt kann man natürlich den ganzen Hafen, mit allen Hafenbecken sich als “ein” Dock vorstellen und deshalb alle Wasserfläcken ein Dock ranpappen.
Um das mal von der anderen Seite her zu betrachten. Es gibt den Key “tidal”. An einen Tide-Hafen einfach ein “tidal=yes” dran und fertig. Bei der Binnenschiffart gibt es keine Tide. Soweit ich weiß hält sich die Tide in der Ostsee als auch Mittelmeer in Grenzen bzw. es gibt sogut wie gar keine.
Alternativ betrachtet könnte man auch Argumentieren, daß ein Dock eh per waterway=dock definiert wird und daher sich jedes weitere Tagging eh erübrigt. Dann könnte man tatsächlich in einem Dockhafen alle Wasserflächen mit “water=dock” taggen.
Das würde die Sache jetzt aber völlig auf den Kopf stellen…
Es wäre vielleicht besser an leisure=marina etwas ala marina_type=tidal, dock, usw. drann zu machen.
Aber das würde jetzt echt zu weit führen.