Olá,
Além de leisure=park existem outras tags adequadas para espaços verdes geridos, como leisure=garden, landuse=village_green e outros. Parece-me que aos espaços que referi no comentário anterior, e como me diz que são espaços geridos, se adequa o landuse=village_green como acontece em https://www.openstreetmap.org/way/169531396 ou em https://www.openstreetmap.org/way/169531840. Não conheço bem Coimbra, por isso refiro estas como simples sugestões.
O parque infantil que definiu como leisure=park tem uma tag mais adequada, leisure=playgound.
Leisure=park, difere destes exemplos na área(bastante superior), utilização ou infra-estruturas incluidas. 
A designação dada pelo municipio é muitas vezes uma boa indicação para a sua classificação, embora grandes jardins por vezes possam ser classificados de parques.
Boas edições