What is name of semi-cut headers in KiCAD?
These are "castellated edges" 

https://github.com/coddingtonbear/kicad-castellated-breakouts
https://docs.oshpark.com/tips+tricks/castellation/    

There may be better resources.