Unless this area has been renovated since I last surveyed (and please forgive me if it has), I don't think leisure=outdoor_seating is an appropriate tag for what is here. [0] I don't think this is a seating area in the spirit of that tag, which is usually used for outdoor seating areas outside of a restaurant or similar establishment. Here there are just a couple of benches on a gravel surface. I think it would be preferable to map the benches as amenity=bench nodes, in line with other benches on campus. I think the outdoor_seating tag would be more appropriate, for example, on the Sadler Terrace.

[0] https://wiki.openstreetmap.org/wiki/Tag:leisure=outdoor%20seating?uselang=en