I classed bricked as something that need hardware intervention to make work again. Bit like having a bad bios flash and the only way to fix is to make a custom JTAG cable and serial transfer...effort. With that mostly bricked is a broken boot bios in many instances, maybe some other definitions, but most blur between bricked and broken and with that I'd class it broken over bricked if it needs hardware replaced.